formal language and automata theory中文是什么意思

• 形式语言与自动机理论

• formal    adj. 1.正式的。 2.礼节上的，仪式上的；郑重其事 ...
• language    n. 1.语言；(某民族，某国的)国语；语调，措词。 2 ...
• automata    n. automaton 的复数。
• theory    n. 1.理论，学理，原理。 2.学说，论说 (opp. ...
• automata and formal language    自动机和形式语言
• formal language theory    形式语言理论
• automata theory    有限自动机; 自动机理论
• theory of automata    自动机理论
• formal languages and automata    形式语言与自动机
• formal language    补语言; 形式语言; 正式语言
• abstract automata theory    抽象自动机理论
• mathematical theory of automata    自动机数学理论
• formal theory    形式理论
• formal description language    形式描述语言
• formal formula manipulation language    公式处理语言
• formal language definition    形式语言定义
• formal language grammar    形式语言文法
• formal language processing    形式语言加工
• formal language processor    形式语言加工程序
• formal query language    格式询问语言
• formal semantic language    形式语义语言
• formale sprache formal language    形式语言
• fql formal query language    正式查询语言
• fsl formal semantic language    形式语义语言
• multidimensional formal language    多维形式语言

• The paper formally defines the concept of electronic contract and their goals , obligations , bindings and non - repudiatable proofs by the formal language and automata theory . by making the obligations and proofs work together , the partners are enforced to achieve the business goals
  本文用形式语言与自动机理论对电子合同及其目标、责任、约束以及不可抵赖性证据进行形式化定义，使责任和证据相互配合，迫使达到商业目标。